From: Florian Müllner <fmuellner@gnome.org>
Date: Wed, 2 Mar 2011 00:04:09 +0000 (+0100)
Subject: app-display: Rename PREFERENCES search provider to SETTINGS
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8820
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=5e8f7ec59008eb3016242e101709ae33d87ab793;p=gnome-shell.git

app-display: Rename PREFERENCES search provider to SETTINGS

Both the shell and gnome-control-center prefer "Settings" over
"Preferences", so rename the corresponding search section.
---

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 6fe12f299..cd5983bf6 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -309,7 +309,7 @@ PrefsSearchProvider.prototype = {
     __proto__: BaseAppSearchProvider.prototype,
 
     _init: function() {
-        BaseAppSearchProvider.prototype._init.call(this, _("PREFERENCES"));
+        BaseAppSearchProvider.prototype._init.call(this, _("SETTINGS"));
     },
 
     getInitialResultSet: function(terms) {